Reversal Hierarchies for Small 2DFAs
نویسندگان
چکیده
A two-way deterministic finite automaton with r(n) reversals performs ≤ r(n) input head reversals on every n-long input. Let 2D[r(n)] be all families of problems solvable by such automata of polynomial size. We prove that the reversal hierarchy 2D[0] ⊆ 2D[1] ⊆ 2D[2] ⊆ · · · is strict, but 2D[O(1)] = 2D[o(n)]. Moreover, the inner-reversal hierarchy 2D(0) ⊆ 2D(1) ⊆ 2D(2) ⊆ · · · , where now the bound applies only to reversals performed strictly between the input end-markers, is also strict.
منابع مشابه
Algorithms and lower bounds in finite automata size complexity
In this thesis we investigate the relative succinctness of several types of finite automata, focusing mainly on the following four basic models: one-way deterministic (1dfas), one-way nondeterministic (1nfas), two-way deterministic (2dfas), and two-way nondeterministic (2nfas). We first establish the exact values of the trade-offs for all conversions from two-way to one-way automata. Specifical...
متن کاملTwo-Way Automata Making Choices Only at the Endmarkers
The question of the state-size cost for simulation of two-way nondeterministic automata (2nfas) by two-way deterministic automata (2dfas) was raised in 1978 and, despite many attempts, it is still open. Subsequently, the problem was attacked by restricting the power of 2dfas (e.g., using a restricted input head movement) to the degree for which it was already possible to derive some exponential...
متن کاملAnother Potential Strong Shortcoming of Ahp
In the last twenty years many features of Saaty's Analytical Hierarchy Process (AHP) have been criticised, especially the additive hierarchical composition of conventional AHP, which leads to the possibility of occurrence of the Rank Reversal phenomenon (adding an irrelevant alternative may cause a reversal in the ranking at the top). In the context of a variable number of alternatives this ran...
متن کاملمستندسازی گسترده فرایندها در بخش دولت: ارائه یک راهکار
Government is facing numerous problems one of them is the lack of coordination in business processes. However, due to the size of the government, complexities and diversifications processes are hard to document, update and improve. This causes serious inefficiencies in managing the organizations which motivates process improvement and re-engineering. The first step to accomplish this goal is pr...
متن کاملReversal of Degenerative Changes in Cervical Spine Following Bipolar Release in a Neglected Case of Congenital Muscular Torticollis
Congenital muscular torticollis (CMT) is a common cause of torticollis in children. Despite the ease in diagnosis in management, rare cases may be neglected and untreated which may not only impose cosmetic problems for the individual, but also affects the cervical spine with accelerated degeneration. Most patients with CMT can be managed non-surgically with medical and physical therapies, a...
متن کامل